Kapinsky, M.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Simulation-Based Approaches for Verification of Embedded Control Systems: An Overview of Traditional and Advanced Modeling, Testing, and Verification Techniques

Kapinski, James, Deshmukh, Jyotirmoy V., Jin, Xiaoqing, Ito, Hisahiro, Butts, Ken

Journal:

IEEE Control Systems

Year:

2016

Language:

english

File:

PDF, 2.02 MB

english, 2016

2

Analytical and experimental analysis of deep drawing process for bimetal elements

Journal:

Journal of Materials Processing Technology

Year:

1996

Language:

english

File:

PDF, 298 KB

english, 1996

3

[IEEE 2018 IEEE Intelligent Vehicles Symposium (IV) - Changshu (2018.6.26-2018.6.30)] 2018 IEEE Intelligent Vehicles Symposium (IV) - Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components

Tuncali, Cumhur Erkan, Fainekos, Georgios, Ito, Hisahiro, Kapinski, James

Year:

2018

Language:

english

File:

PDF, 3.50 MB

english, 2018

4

SAE Technical Paper Series [SAE International SAE 2016 World Congress and Exhibition - (APR. 12, 2016)] SAE Technical Paper Series - ST-Lib: A Library for Specifying and Classifying Model Behaviors

Kapinski, James, Jin, Xiaoqing, Deshmukh, Jyotirmoy, Donze, Alexandre, Yamaguchi, Tomoya, Ito, Hisahiro, Kaga, Tomoyuki, Kobuna, Shunsuke, Seshia, Sanjit

Year:

2016

Language:

english

File:

PDF, 1.58 MB

english, 2016

5

ABCG1 (ABC8), the human homolog of the Drosophila white gene, is a regulator of macrophage cholesterol and phospholipid transport

Klucken, J., Buchler, C., Orso, E., Kaminski, W. E., Porsch-Ozcurumez, M., Liebisch, G., Kapinsky, M., Diederich, W., Drobnik, W., Dean, M., Allikmets, R., Schmitz, G.

Journal:

Proceedings of the National Academy of Sciences

Year:

2000

Language:

english

File:

PDF, 185 KB

english, 2000

6

Enzymatically Degraded LDL Preferentially Binds to CD14high CD16+ Monocytes and Induces Foam Cell Formation Mediated Only in Part by the Class B Scavenger-Receptor CD36

Kapinsky, M., Torzewski, M., Buchler, C., Duong, C. Q., Rothe, G., Schmitz, G.

Journal:

Arteriosclerosis Thrombosis and Vascular Biology

Year:

2001

Language:

english

File:

PDF, 864 KB

english, 2001

7

[ACM Press the 22nd ACM International Conference - Montreal, Quebec, Canada (2019.04.16-2019.04.18)] Proceedings of the 22nd ACM International Conference on Hybrid Systems Computation and Control - HSCC '19 - Interface-aware signal temporal logic

Ferrère, Thomas, Nickovic, Dejan, Donzé, Alexandre, Ito, Hisahiro, Kapinski, James

Year:

2019

Language:

english

File:

PDF, 4.79 MB

english, 2019

8

Lipopolysaccharide and ceramide docking to CD14 provokes ligand-specific receptor clustering in rafts

Alexandra Pfeiffer, Alfred Böttcher, Evelyn Orsó, Michael Kapinsky, Peter Nagy, Andrea Bodnár, Ingo Spreitzer, Gerhard Liebisch, Wolfgang Drobnik, Klaus Gempel, Markus Horn, Stefan Holmer, Thomas Hart

Journal:

European Journal of Immunology

Year:

2001

Language:

english

File:

PDF, 283 KB

english, 2001

9

[IEEE 2008 American Control Conference (ACC '08) - Seattle, WA (2008.06.11-2008.06.13)] 2008 American Control Conference - Model checking in-the-loop: Finding counterexamples by systematic simulation

Lerda, Flavio, Kapinski, James, Maka, Hitashyam, Clarke, Edmund M., Krogh, Bruce H.

Year:

2008

Language:

english

File:

PDF, 365 KB

english, 2008

10

[IEEE 2008 47th IEEE Conference on Decision and Control - Cancun, Mexico (2008.12.9-2008.12.11)] 2008 47th IEEE Conference on Decision and Control - Control software model checking using bisimulation functions for nonlinear systems

Kapinski, James, Donze, Alexandre, Lerda, Flavio, Maka, Hitashyam, Wagner, Silke, Krogh, Bruce H.

Year:

2008

Language:

english

File:

PDF, 256 KB

english, 2008

11

[ACM Press the 14th International Conference - New Delhi, India (2014.10.12-2014.10.17)] Proceedings of the 14th International Conference on Embedded Software - EMSOFT '14 - Multiple shooting, CEGAR-based falsification for hybrid systems

Zutshi, Aditya, Deshmukh, Jyotirmoy V., Sankaranarayanan, Sriram, Kapinski, James

Year:

2014

Language:

english

File:

PDF, 471 KB

english, 2014

12

Interaction of CD163 with the regulatory subunit of casein kinase II (CKII) and dependence of CD163 signaling on CKII and protein kinase C

Mirko Ritter, Christa Buechler, Michael Kapinsky, Gerd Schmitz

Journal:

European Journal of Immunology

Year:

2001

Language:

english

File:

PDF, 196 KB

english, 2001

13

[IEEE 2004 IEEE International Symposium on Computer Aided Control Systems Design - Taipei, Taiwan (2-4 Sept. 2004)] 2004 IEEE International Conference on Robotics and Automation (IEEE Cat. No.04CH37508) - Control input synthesis for hybrid systems using informed search

Schmidt, K., Kapinski, J., Krogh, B.H.

Year:

2004

Language:

english

File:

PDF, 403 KB

english, 2004

14

[ACM Press the 17th international conference - Berlin, Germany (2014.04.15-2014.04.17)] Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 - Powertrain control verification benchmark

Jin, Xiaoqing, Deshmukh, Jyotirmoy V., Kapinski, James, Ueda, Koichi, Butts, Ken

Year:

2014

Language:

english

File:

PDF, 609 KB

english, 2014

15

Numerically-aided Deductive Safety Proof for a Powertrain Control System

Aréchiga, Nikos, Kapinski, James, Deshmukh, Jyotirmoy V., Platzer, André, Krogh, Bruce

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2015

Language:

english

File:

PDF, 206 KB

english, 2015

16

[ACM Press the 55th Annual Design Automation Conference - San Francisco, California (2018.06.24-2018.06.29)] Proceedings of the 55th Annual Design Automation Conference on - DAC '18 - Reasoning about safety of learning-enabled components in autonomous cyber-physical systems

Tuncali, Cumhur Erkan, Kapinski, James, Ito, Hisahiro, Deshmukh, Jyotirmoy V.

Year:

2018

Language:

english

File:

PDF, 830 KB

english, 2018

17

Advanced flowcytometric analysis of regulatory T cells: CD127 downregulation early post stem cell transplantation and altered Treg/CD3+CD4+-ratio in severe GvHD or relapse

Melanie Bremm, Sabine Huenecke, Thomas Lehrnbecher, Eva Ponstingl, Regine Mueller, Annekathrin Heinze, Gesine Bug, Andrea Quaiser, Michael Kapinsky, Claudia Brehm, Peter Bader, Gisbert Schneider, Thom

Journal:

Journal of Immunological Methods

Year:

2011

Language:

english

File:

PDF, 820 KB

english, 2011

18

[ACM Press the 20th International Conference - Pittsburgh, Pennsylvania, USA (2017.04.18-2017.04.20)] Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control - HSCC '17 - Abnormal Data Classification Using Time-Frequency Temporal Logic

Nguyen, Luan Viet, Kapinski, James, Jin, Xiaoqing, Deshmukh, Jyotirmoy V., Butts, Ken, Johnson, Taylor T.

Year:

2017

Language:

english

File:

PDF, 1.40 MB

english, 2017

19

Driving forces of sandy sediment transport beyond the surf zone

Stella, Magdalena, Ostrowski, Rafał, Szmytkiewicz, Piotr, Kapiński, Jarosław, Marcinkowski, Tomasz

Journal:

Year:

2018

Language:

english

File:

PDF, 2.46 MB

english, 2018

20

Reachability analysis using proximity based automata *

Kapinski, Jim, Schmidt, Klaus, Krogh, Bruce H.

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.88 MB

english, 2004

21

Adipophilin is a sensitive marker for lipid loading in human blood monocytes

Christa Buechler, Mirko Ritter, Chinh Quoc Duong, Evelyn Orso, Michael Kapinsky, Gerd Schmitz

Journal:

Biochimica et Biophysica Acta (BBA) - Molecular and Cell Biology of Lipids

Year:

2001

Language:

english

File:

PDF, 304 KB

english, 2001

22

[IEEE 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) - Berlin, Germany (2014.4.14-2014.4.17)] 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) - WiP abstract: Conformance testing as falsification for cyber-physical systems

Abbas, Houssam, Hoxha, Bardh, Fainekos, Georgios, Deshmukh, Jyotirmoy V., Kapinski, James, Ueda, Koichi

Year:

2014

Language:

english

File:

PDF, 126 KB

english, 2014

23

[IEEE Computer-Aided Control Systems Design (CACSD) - Glasgow, UK (18-20 Sept. 2002)] Proceedings. IEEE International Symposium on Computer Aided Control System Design - Verifying switched-mode computer controlled systems

Kapinski, J., Krogh, B.H.

Year:

2002

Language:

english

File:

PDF, 393 KB

english, 2002

24

[ACM Press the 18th International Conference - Seattle, Washington (2015.04.14-2015.04.16)] Proceedings of the 18th International Conference on Hybrid Systems Computation and Control - HSCC '15 - Falsification of safety properties for closed loop control systems

Zutshi, Aditya, Sankaranarayanan, Sriram, Deshmukh, Jyotirmoy V., Kapinski, James, Jin, Xiaoqing

Year:

2015

Language:

english

File:

PDF, 203 KB

english, 2015

25

Influence of the punch velocity on deformation of the material in deep-drawn flange

Journal:

Journal of Materials Processing Technology

Year:

1992

Language:

english

File:

PDF, 322 KB

english, 1992

26

[IEEE 2015 International Conference on Embedded Software (EMSOFT) - Amsterdam, Netherlands (2015.10.4-2015.10.9)] 2015 International Conference on Embedded Software (EMSOFT) - Forward invariant cuts to simplify proofs of safety

Aréchiga, Nikos, Kapinski, James, Deshmukh, Jyotirmoy V., Platzer, André, Krogh, Bruce

Year:

2015

Language:

english

File:

PDF, 836 KB

english, 2015

27

[ACM Press the 17th international conference - Berlin, Germany (2014.04.15-2014.04.17)] Proceedings of the 17th international conference on Hybrid systems: computation and control - HSCC '14 - Simulation-guided lyapunov analysis for hybrid dynamical systems

Kapinski, James, Deshmukh, Jyotirmoy V., Sankaranarayanan, Sriram, Arechiga, Nikos

Year:

2014

Language:

english

File:

PDF, 733 KB

english, 2014

28

[ACM Press the 13th International Conference - Pittsburgh, Pennsylvania (2016.10.01-2016.10.07)] Proceedings of the 13th International Conference on Embedded Software - EMSOFT '16 - Underminer

Balkan, Ayca, Tabuada, Paulo, Deshmukh, Jyotirmoy V., Jin, Xiaoqing, Kapinski, James

Year:

2016

Language:

english

File:

PDF, 437 KB

english, 2016

29

[IEEE 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC) - San Francisco, CA, USA (2018.6.24-2018.6.28)] 2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC) - INVITED: Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems

Tuncali, Cumhur Erkan, Ito, Hisahiro, Kapinski, James, Deshmukh, Jyotirmoy V.

Year:

2018

Language:

english

File:

PDF, 1.67 MB

english, 2018

30

[IEEE 2007 IEEE Pulsed Power Plasma Science Conference - Albuquerque, NM, USA (2007.06.17-2007.04.22)] 2007 IEEE Pulsed Power Plasma Science Conference - Optimal State Feedback Control for Pulsed Power Supplies

Kapinski, James

Year:

2007

File:

PDF, 25 KB

2007

31

Position paper on the challenges posed by modern applications to cyber-physical systems theory

Allgöwer, Frank, Borges de Sousa, João, Kapinski, James, Mosterman, Pieter, Oehlerking, Jens, Panciatici, Patrick, Prandini, Maria, Rajhans, Akshay, Tabuada, Paulo, Wenzelburger, Philipp

Journal:

Nonlinear Analysis Hybrid Systems

Year:

2019

File:

PDF, 713 KB

2019

32

[IEEE 2005 IEEE Pulsed Power Conference - Monterey, CA, USA (2005.06.13-2005.06.17)] 2005 IEEE Pulsed Power Conference - Optimization of Control Inputs for Electromagnetic Launchers

Kapinski, James, Hall, David

Year:

2005

Language:

english

File:

PDF, 322 KB

english, 2005

33

[IEEE 2015 American Control Conference (ACC) - Chicago, IL, USA (2015.7.1-2015.7.3)] 2015 American Control Conference (ACC) - Simulation-guided approaches for verification of automotive powertrain control systems

Kapinski, James, Deshmukh, Jyotirmoy, Xiaoqing Jin,, Ito, Hisahiro, Butts, Ken

Year:

2015

Language:

english

File:

PDF, 329 KB

english, 2015

34

Transient Electromechanical Modeling for Short Secondary Linear Induction Machines

Hall, D., Kapinski, J., Krefta, M., Christianson, O.

Journal:

IEEE Transactions on Energy Conversion

Year:

2008

Language:

english

File:

PDF, 273 KB

english, 2008

35

[ACM Press the 13th International Conference - Pittsburgh, Pennsylvania (2016.10.01-2016.10.07)] Proceedings of the 13th International Conference on Embedded Software - EMSOFT '16 - Locally optimal reach set over-approximation for nonlinear systems

Fan, Chuchu, Kapinski, James, Jin, Xiaoqing, Mitra, Sayan

Year:

2016

Language:

english

File:

PDF, 423 KB

english, 2016

36

[ACM Press the 15th ACM-IEEE International Conference - Vienna, Austria (2017.09.29-2017.10.02)] Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17 - Hyperproperties of real-valued signals

Nguyen, Luan Viet, Kapinski, James, Jin, Xiaoqing, Deshmukh, Jyotirmoy V., Johnson, Taylor T.

Year:

2017

Language:

english

File:

PDF, 982 KB

english, 2017

37

[IEEE 2010 American Control Conference (ACC 2010) - Baltimore, MD (2010.6.30-2010.7.2)] Proceedings of the 2010 American Control Conference - On incrementally bounded systems

Kapinski, James, Krogh, Bruce H

Year:

2010

Language:

english

File:

PDF, 443 KB

english, 2010

38

[ACM Press the 21st International Conference - Porto, Portugal (2018.04.11-2018.04.13)] Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18 - Sim-ATAV

Tuncali, Cumhur Erkan, Fainekos, Georgios, Ito, Hisahiro, Kapinski, James

Year:

2018

Language:

english

File:

PDF, 1.03 MB

english, 2018

39

[IEEE 2015 American Control Conference (ACC) - Chicago, IL, USA (2015.7.1-2015.7.3)] 2015 American Control Conference (ACC) - Beyond single shooting: Iterative approaches to falsification

Deshmukh, Jyotirmoy, Fainekos, Georgios, Kapinski, James, Sankaranarayanan, Sriram, Zutshi, Aditya, Xiaoqing Jin,

Year:

2015

Language:

english

File:

PDF, 76 KB

english, 2015

40

On modelling of long waves in the Lagrangian and Eulerian description

Jaroslaw Kapinski

Journal:

Coastal Engineering

Year:

2006

Language:

english

File:

PDF, 300 KB

english, 2006

41

Standardization of whole blood immune phenotype monitoring for clinical trials: panels and methods from the ONE study

Mathias Streitz,Tewfik Miloud,Michael Kapinsky…

Journal:

Transplantation Research

Year:

2013

Language:

english

File:

PDF, 1.23 MB

english, 2013

42

[IEEE 2005 IEEE Pulsed Power Conference - Monterey, CA, USA (2005.06.13-2005.06.17)] 2005 IEEE Pulsed Power Conference - Direct and Quadrature Models for High Energy Pulsed Alternators

Kapinski, James, Hall, David, Mallick, John, Pavlik, Dennis

Year:

2005

Language:

english

File:

PDF, 308 KB

english, 2005

43

[IEEE 2007 IEEE International Pulsed Power Plasma Science Conference (PPPS 2007) - Albuquerque, NM (2008.6.17-2007.6.22)] 2007 16th IEEE International Pulsed Power Conference - Optimal state feedback control for pulsed power supplies

Kapinski, James

Year:

2007

Language:

english

File:

PDF, 249 KB

english, 2007

44

[IEEE 2013 IEEE 52nd Annual Conference on Decision and Control (CDC) - Firenze (2013.12.10-2013.12.13)] 52nd IEEE Conference on Decision and Control - A trajectory splicing approach to concretizing counterexamples for hybrid systems

Zutshi, Aditya, Sankaranarayanan, Sriram, Deshmukh, Jyotirmoy V., Kapinski, James

Year:

2013

Language:

english

File:

PDF, 593 KB

english, 2013

45

The Cholesterol Content of the Plasma Membrane as a Regulator of CD14 Dependent Signal Transduction

A. Pfeiffer, M. Kapinsky, E. Orsó, G. Schütz, H. Schindler, P. Nagy, G. Rothe, J. Szöllösi, S. Damjanovich, G. Schmitz

Journal:

Single Molecules

Year:

2001

Language:

english

File:

PDF, 102 KB

english, 2001

46

Coastal hydrodynamics beyond the surf zone of the south Baltic Sea

Ostrowski, Rafał, Stella, Magdalena, Szmytkiewicz, Piotr, Kapiński, Jarosław, Marcinkowski, Tomasz

Journal:

Year:

2017

Language:

english

File:

PDF, 2.92 MB

english, 2017

47

Motion of water and sediment due to non-breaking waves in the swash zone**The study was sponsored by the Ministry of Science and Higher Education, Poland, within the framework of IBW PAN’s statutory programme national research project N306 003 31/2, which are gratefully acknowledged.

Kapiński, Jarosław, Ostrowski, Rafał

Journal:

Year:

2012

Language:

english

File:

PDF, 411 KB

english, 2012

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски